1. Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 : proceedings
المؤلف: M. Rusinowitch, J.L. Remy )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
656

